( sig --- result ) 
${pk} OP_CHECKSIG